منابع مشابه
Ground Nonmonotonic Modal Logics
In this paper we address ground logics, a family of nonmonotonic modal logics, and their usage in knowledge representation. In such a setting non-modal sentences are used to represent the knowledge of an agent about the world, while an epistemic operator provides the agent with autoepistemic or introspective knowledge. Ground logics are based on the idea of characterizing the knowledge of the a...
متن کاملMinimal Knowledge States in Nonmonotonic Modal Logics
Recent studies on the computational properties of the logic of minimal knowledge states due to Halpern and Moses (also known as ground logic S5 G) have shown that reasoning in this logic is strictly harder than in all the most studied propositional non-monotonic formalisms, in particular with respect to nonmonotonic modal logics due to McDermott and Doyle. In this paper we show that the logic o...
متن کاملGround Nonmonotonic Modal Logics for Knowledge Representation
In this paper we discuss ground logics, a family of nonmonotonic modal logics, with the goal of using them in knowledge representation. Ground logics are based on the idea of minimizing the knowledge expressed by non-modal formulae. The nonmonotonic character of the logics can be described either by a x-point equation or by means of a preference relation on possible-worlds models. We address bo...
متن کاملA Preference Semantics for Ground Nonmonotonic Modal Logics
In this paper we provide a semantic characterization of ground logics, a family of nonmonotonic modal logics obtained by means of a variant of the well known Mc Dermott and Doyle xed point equation. The term ground logics carries the idea of restricting the negative in-trospection capabilities of the reasoning agent to the objective (i.e. non modal) part of the theory. This intuition was nicely...
متن کاملReasoning about Minimal Knowledge in Nonmonotonic Modal Logics
We study the problem of embedding Halpern and Moses’s modal logic of minimal knowledge states into two families of modal formalism for nonmonotonic reasoning, McDermott and Doyle’s nonmonotonic modal logics and ground nonmonotonic modal logics. First, we prove that Halpern and Moses’s logic can be embedded into all ground logics; moreover, the translation employed allows for establishing a lowe...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of the ACM
سال: 1993
ISSN: 0004-5411,1557-735X
DOI: 10.1145/153724.153773